Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
161	On the Complexity of Paths Avoiding Forbidden Pairs Petr Kolman, Ondˇrej Pangr´ac Department of Applied Mathematics and Institute for Theoretical Computer Science, Charles University, Malostransk´e n´ Add to Reading List Source URL: kam.mff.cuni.cz Language: English - Date: 2009-04-29 03:46:21 Graph theory Graph operations Graph coloring Matroid theory Edge contraction Graph Bipartite graph Ear decomposition Pathwidth Line graph
162	Mac Guide-Basic Excel This document contains instructions for macs where they deviate from PC instructions. Changes are in red. The numbers for each set of instructions correspond to the slide number in the ppt. If nothi Add to Reading List Source URL: stemgateway.unm.edu Language: English - Date: 2016-05-24 12:32:20 Spreadsheet Discrete mathematics Line graph Scatter plot Bar chart Comma-separated values Mathematics Theoretical computer science
163	FACULTY OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE - LUBLIN UNIVERSITY OF TECHNOLOGY PL LUBLIN03 Courses available at the Faculty Of Electrical Engineering And Computer Science Advanced Energy Sources .............. Add to Reading List Source URL: bwm.pollub.pl Language: English - Date: 2016-05-10 02:20:04 Engineering Academia Mathematical and theoretical biology Differential equation Discrete mathematics Systems engineering Outline of academic disciplines Mathematical model University of Zielona Gra Outline of science
164	Automatic selection of table areas in documents for information extraction Ana Costa e Silva1, Alípio Jorge2, Luís Torgo2 1 2 Add to Reading List Source URL: www.dcc.fc.up.pt Language: English - Date: 2012-12-13 10:18:40 Computing Data management Arrays Computer programming Algorithm Mathematical logic Theoretical computer science Join Lookup table HTML element Periodic table Hash table
165	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Logic Model theory Mathematics Computability theory Models of computation Formal languages Lambda calculus Theoretical computer science First-order logic Structure Interpretation
166	The Complexity of Counting and Randomised Approximation Magnus Bordewich New College University of Oxford Add to Reading List Source URL: community.dur.ac.uk Language: English - Date: 2003-12-08 11:12:51 Computational complexity theory Theory of computation Mathematics Complexity classes Computational problems Theoretical computer science Structural complexity theory Tutte polynomial NP Quantum computing Time complexity Reduction
167	A LITTLE STARTER TEST FOR CALCULUS 2 W. STEPHEN WILSON 1. Introduction On the first day of class, Fall, 2013, I gave my Calculus II for the Biological and Social Sciences class a short exam of eight questions Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-09-07 11:01:31 Academia Theoretical computer science Mathematics Education Calculus Lambda calculus SAT Pi Test Algorithm
168	CSE 584 Algorithms for Biosequence Comparison Spring Semester 2016 Homework 2 Assigned: Add to Reading List Source URL: classes.engineering.wustl.edu Language: English - Date: 2016-02-23 10:35:25 Computer programming Computing String computer science) Data types Arrays Theoretical computer science Suffix tree Suffix array BurrowsWheeler transform String searching algorithm String Algorithm
169	Asynchronous Knowledge Gradient Policy for Ranking and Selection Add to Reading List Source URL: informs-sim.org Language: English - Date: 2015-02-05 09:24:44 Statistics Operations research Probability Mathematical analysis Algorithm Mathematical logic Theoretical computer science Selection algorithm Mathematical optimization Simulation Normal distribution Logic simulation
170	What Not to Do When Writing an Interpreter for Specialisation Neil D. Jones DIKU, University of Copenhagen e-mail: Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Software engineering Computing Theoretical computer science Logic in computer science Models of computation Programming language semantics Formal methods Subroutines Denotational semantics Semantics Partial evaluation Interpreter

UPDATE